Maintaining Consistency between UML Models Using Description Logic

A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve their consistency, since these diagrams are subject to continuous changes due to successive refinements or evolutions. Contemporary UML tools provide unsatisfactory support for maintaining the consistency between different versions of UML diagrams. To solve this problem, an extension of the UML metamodel is developed, and a classification of inconsistency problems is proposed. Detection and resolution of consistency conflicts is expressed by means of rules in description logic. By carrying out a number of concrete experiments, we show the feasibility of the description logic formalism for the purpose of maintaining consistency between evolving UML models. RÉSUMÉ. La conception d’un logiciel est souvent modélisée comme un ensemble de diagrammes UML. Il est essentiel de préserver leur cohérence, parce que ces diagrammes sont sujets à de fréquentes modifications, dues aux évolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la cohérence entre différentes versions des diagrammes UML. Pour résoudre ce problème, une extension du méta modèle UML est développée, et une classification des conflits d’incohérence est proposée. La détection et la résolution de ces conflits est exprimée en utilisant des règles en logique de descriptions. En effectuant un certain nombre d’expériences, nous montrons la faisabilité du formalisme de logique de descriptions pour préserver la cohérence entre des modèles UML qui évoluent.